From Display to Labelled Proofs for Tense Logics

We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt

Enzootic bovine leukosis accompanied by splenomegaly in an 8-month-old calf

ΔΕΝ ΔΙΑΤΙΘΕΤΑΙ ΠΕΡΙΛΗΨΗIn this report, an 8-month-old calf (crossbred, Holstein × Japanese Black) developed fever and accompanied abomasum displacement. Blood chemical test showed remarkably high values of white blood cell count and heteromorphic lymphocytes. In pathological appraisal, enlarged splenomegaly and swelling of the lymph nodes were observed. Histopathological examination revealed invasion of tumor cells derived from B1 cells into systemic lymph nodes, liver and spleen. The provirus loads of bovine leukemia virus (BLV) was 1,439 copies per 10 ng DNA by using real time PCR. In conclusion, this case was diagnosed as bovine leukemia caused by BLV infection with a huge splenomegaly

On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated labelled calculus

Completely localized gravity with higher curvature terms

In the intersecting braneworld models, higher curvature corrections to the Einstein action are necessary to provide a non-trivial geometry (brane tension) at the brane junctions. By introducing such terms in a Gauss-Bonnet form, we give an effective description of localized gravity on the singular delta-function branes. There exists a non-vanishing brane tension at the four-dimensional brane intersection of two 4-branes. Importantly, we give explicit expressions of the graviton propagator and show that the Randall-Sundrum single-brane model with a Gauss-Bonnet term in the bulk correctly gives a massless graviton on the brane as for the RS model. We explore some crucial features of completely localized gravity in the solitonic braneworld solutions obtained with a choice (\xi=1) of solutions. The no-go theorem known for Einstein's theory may not apply to the \xi=1 solution. As complementary discussions, we provide an effective description of the power-law corrections to Newtonian gravity on the branes or at the common intersection thereof.Comment: 19 pages, LaTeX, Revised/Published Versio

Nonmagnetic Insulating States near the Mott Transitions on Lattices with Geometrical Frustration and Implications for κ\kappa-(ET)2_2Cu2(CN)3_2(CN)_3

We study phase diagrams of the Hubbard model on anisotropic triangular lattices, which also represents a model for $\kappa$-type BEDT-TTF compounds. In contrast with mean-field predictions, path-integral renormalization group calculations show a universal presence of nonmagnetic insulator sandwitched by antiferromagnetic insulator and paramagnetic metals. The nonmagnetic phase does not show a simple translational symmetry breakings such as flux phases, implying a genuine Mott insulator. We discuss possible relevance on the nonmagnetic insulating phase found in $\kappa$-(ET)$_2$Cu$_2(CN)_3$.Comment: 4pages including 7 figure

Public acceptance of Privacy-Encroaching Policies to Address the COVID-19 Pandemic in the United Kingdom

The nature of the COVID-19 pandemic may require governments to use privacy-encroaching technologies to help contain its spread. One technology involves co-location tracking through mobile Wi-Fi, GPS, and Bluetooth to permit health agencies to monitor people's contact with each other, thereby triggering targeted social-distancing when a person turns out to be infected. The effectiveness of tracking relies on the willingness of the population to support such privacy encroaching measures. We report the results of two large surveys in the United Kingdom, conducted during the peak of the pandemic, that probe people's attitudes towards various tracking technologies. The results show that by and large there is widespread acceptance for co-location tracking. Acceptance increases when the measures are explicitly time-limited and come with opt-out clauses or other assurances of privacy. Another possible future technology to control the pandemic involves "immunity passports", which could be issued to people who carry antibodies for the COVID-19 virus, potentially implying that they are immune and therefore unable to spread the virus to other people. Immunity passports have been considered as a potential future step to manage the pandemic. We probe people's attitudes towards immunity passports and find considerable support overall, although around 20% of the public strongly oppose passports

Worldviews about change: their structure and their implications for understanding responses to sustainability, technology, and political change

People hold different perspectives about how they think the world is changing or should change. We examined five of these “worldviews” about change: Progress, Golden Age, Endless Cycle, Maintenance, and Balance. In Studies 1–4 (total N = 2733) we established reliable measures of each change worldview, and showed how these help explain when people will support or oppose social change in contexts spanning sustainability, technological innovations, and political elections. In mapping out these relationships we identify how the importance of different change worldviews varies across contexts, with Balance most critical for understanding support for sustainability, Progress/Golden Age important for understanding responses to innovations, and Golden Age uniquely important for preferring Trump/Republicans in the 2016 US election. These relationships were independent of prominent individual differences (e.g., values, political orientation for elections) or context-specific factors (e.g., self-reported innovativeness for responses to innovations). Study 5 (N = 2140) examined generalizability in 10 countries/regions spanning five continents, establishing that these worldviews exhibited metric invariance, but with country/region differences in how change worldviews were related to support for sustainability. These findings show that change worldviews can act as a general “lens” people use to help determine whether to support or oppose social change

What is Minimal Model of 3He Adsorbed on Graphite? -Importance of Density Fluctuations in 4/7 Registered Solid -

We show theoretically that the second layer of 3He adsorbed on graphite and solidified at 4/7 of the first-layer density is close to the fluid-solid boundary with substantial density fluctuations on the third layer. The solid shows a translational symmetry breaking as in charge-ordered insulators of electronic systems. We construct a minimal model beyond the multiple-exchange Heisenberg model. An unexpectedly large magnetic field required for the measured saturation of magnetization is well explained by the density fluctuations. The emergence of quantum spin liquid is understood from the same mechanism as in the Hubbard model and in \kappa-(ET)_2Cu_2(CN)_3 near the Mott transitions.Comment: 9 pages, 5 figure

Spinons and triplons in spatially anisotropic frustrated antiferromagnets

The search for elementary excitations with fractional quantum numbers is a central challenge in modern condensed matter physics. We explore the possibility in a realistic model for several materials, the spin-1/2 spatially anisotropic frustrated Heisenberg antiferromagnet in two dimensions. By restricting the Hilbert space to that expressed by exact eigenstates of the Heisenberg chain, we derive an effective Schr\"odinger equation valid in the weak interchain-coupling regime. The dynamical spin correlations from this approach agree quantitatively with inelastic neutron measurements on the triangular antiferromagnet Cs_2CuCl_4. The spectral features in such antiferromagnets can be attributed to two types of excitations: descendents of one-dimensional spinons of individual chains, and coherently propagating "triplon" bound states of spinon pairs. We argue that triplons are generic features of spatially anisotropic frustrated antiferromagnets, and arise because the bound spinon pair lowers its kinetic energy by propagating between chains.Comment: 16 pages, 6 figure